// Used in layout
$padding-1: 1px !default;
$padding-4: 0.25rem !default;
$padding-8: 0.5rem !default;
$padding-16: 1rem !default;

$font-size-base: 16px !default;
$font-size-12: 0.75rem !default;
$font-size-14: 0.875rem !default;
$font-size-16: 1rem !default;

$border-radius: 0.15rem !default;

// Grayscale
$white: #ffffff !default;
$gray-100: #f8f9fa !default;
$gray-200: #e9ecef !default;
$gray-300: #dee2e6 !default;
$gray-400: #ced4da !default;
$gray-500: #adb5bd !default;
$gray-600: #868e96 !default;
$gray-700: #495057 !default;
$gray-800: #343a40 !default;
$gray-900: #212529 !default;
$black: #000 !default;

$color-link: #05b !default;
$color-visited-link: #05b !default;

$body-background: white !default;
$body-font-color: $gray-800 !default;
$body-font-weight: normal !default;

$body-min-width: 20rem !default;
$container-max-width-desktop: 100rem !default;
$container-max-width-mobile: 80rem !default;

$header-height: 3.5rem !default;
$menu-width: 20rem !default;
$toc-width: 16rem !default;

$md-breakpoint: $menu-width + $body-min-width * 1.25 + $toc-width !default;
$sm-breakpoint: $menu-width + $body-min-width * 3 !default;

// Panel colors
$hint-colors: (
  info: #6bf,
  warning: #fd6,
  danger: #f66
) !default;
